English lambda matrix: tłumaczenie na inne języki